1.
پدیدآورنده : اردشیر بهرستاقی،محمد
کتابخانه: کتابخانه آیت الله ايرواني (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع : ،منطق ریاضی،
رده :
511
،
/3
،
الف
381
م
،
1389
2. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
3. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی: Godel's proof..
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲،
/
ب
۴
4. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل ، ارنست، ۱۹۰۱- م.
کتابخانه: كتابخانه مركز پژوهشي دائرة المعارف علوم عقلي اسلامى (قم)
موضوع : گودل، قضیه,منطق ریاضی
5. فلسفه براوئر
پدیدآورنده : آتن، ما‌رکوس سبا‌ستیا‌ن پا‌ول روخیر فان، ۳۷۹۱ - م
کتابخانه: کتابخانه مرکز بررسی های اسلامی قم (قم)
موضوع : ^Bبراوئر، لویتس‌اخبرتوس یان، ۱۸۸۱ - ۶۶۹۱م,^Bریاضیات - فلسفه,^Bریاضیات شهودی
رده :
QA
۲۹
/
ب
۴
آ
۲ ۱۳۸۷
6. فلسفه براوئٰر
پدیدآورنده : / مارک فان‌آتن,آتن,Atten
موضوع : براوئر,Brouwer,، لویتس‌اخبرتوس یان,, L. E. J. (Luitzen Egbertus Jan),، ۱۸۸۱ - ۱۹۶۶م.,ریاضیات,ریاضیات شهودی, -- فلسفه
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. فلسفه براوئر
پدیدآورنده : آتن، ما‌رکوس سبا‌ستیا‌ن پا‌ول روخیر فان Atten, Markus Sebastian paul Rogier Van ۱۹۷۳ - م.
کتابخانه: (طهران)
موضوع : براوئر، لویتس اخبرتوس یان، ۱۸۸۱ - ۱۹۶۶ م C. E. J. )neztiuL sutrebgE naJ , rewuorB(,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
QA
۲۹
/
ب
۴
آ
۲ ۱۳۸۷
8. فلسفه براوئر
پدیدآورنده : مارک فان‌آتن, ترجمه محمد اردشير
موضوع : رياضيات شهودي رياضيات فلسفه براوئر, لويتس اخبر توس يان, 1966 - 1881 م،
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
9. فلسفه براوئر
پدیدآورنده : / مارک فان آتن,آتن,Atten
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : ریاضیات,ریاضیات شهودی, -- فلسفه,براوئر، لويتس اخبرتوس يان، 1881 - 1966م (Brouwer, L. E. J. (Luitzen Egbertus Jan
رده :
QA
۲۹
/
ب
۴
آ
۲
10. فلسفه براوئر
پدیدآورنده : آتن، ما‌رکوس سبا‌ستیا‌ن پا‌ول روخیر فان، ۱۹۷۳- م
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
۲۹
/
ب
۴
آ
۲ ۱۳۸۷
11. فلسفه براوئٰر
پدیدآورنده : / مارک فان‌آتن,عنوان اصلی: On Brouwer,,آتن,Atten
کتابخانه: (طهران)
موضوع : براوئر,Brouwer,، لویتس‌اخبرتوس یان,, L. E. J. (Luitzen Egbertus Jan),، ۱۸۸۱ - ۱۹۶۶م.,ریاضیات,ریاضیات شهودی, -- فلسفه,ریاضیدانان اروپایی -- نقد و تفسیر
رده :
QA
۲۹
/
ب
۴
آ
۲
12. فلسفه براوئر
پدیدآورنده : / مارک فان‌آتن ترجمه محمد اردشیر,On Brouwer, c2004.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : براوئر- ، لویتس‌اخبرتوس یان- ، ۱۸۸۱ - ۱۹۶۶م,(L. E. J. (Luitzen Egbertus Jan , -Brouwer,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
QA
۲۹
/
ب
۴
آ
۲ ۱۳۸۷
13. مبا‌حثی در فلسفه ریاضی: برهان گودل و حقیقت برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱- م.، Ernest ,Nagel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
ن
۲۸
14. منطق ریاضی
پدیدآورنده : اردشیر بهرستاقی، محمد، ۵۳۳۱ -
کتابخانه: کتابخانه مرکز بررسی های اسلامی قم (قم)
موضوع : ^Bمنطق ریاضی
رده :
QA
۹
/
ف
لا
۴
م
۸ ۱۳۸۹
15. منطق ریاضی
پدیدآورنده : اردشیر بهرستاقی، محمد ۱۳۳۵ -
کتابخانه: (کلستان)
موضوع : منطق ریاضی
رده :
QA
۹
/
الف
۴
م
۸
16. منطق ریاضی
پدیدآورنده : / محمد اردشیر
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : منطق ریاضی
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۸۹
17. منطق ریاضی
پدیدآورنده : محمد اردشیر
کتابخانه: (مازندران)
موضوع : منطق ریاضی
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۱
18. منطق ریاضی
پدیدآورنده : *** *** اردشیر بهرستاقی، محمد ۱۳۳۵-
کتابخانه: (طهران)
موضوع : منطق ریاضی
رده :
QA
۹
/
الف
۴
م
۸
19. منطق ریاضی
پدیدآورنده : / محمد اردشیر بهرستاقی
کتابخانه: جامعة المذاهب الاسلامیة (طهران)
موضوع : منطق ریاضی
رده :
QA
۹
/
ب
۸۶،
م
۸ ۱۳۸۳
20. منطق ریاضی
پدیدآورنده : اردشیر بهرستاقی، محمد ۱۳۳۵ -
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : منطق ریاضی
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۸۹
